Change diff and terrain back to doubles in geo
authorGPSBabel <gpsbabel@users.noreply.github.com>
Mon, 25 Feb 2019 18:34:30 +0000 (12:34 -0600)
committerGitHub <noreply@github.com>
Mon, 25 Feb 2019 18:34:30 +0000 (12:34 -0600)
commit83b1736c1a966dfea9adb5a79d363430ef55fd6f
treea02097eac2a21da8fe5e6b4f4c71610bd36754f5
parent871c4adffc189a7c11b9a461c0e84b916e12cde3
Change diff and terrain back to doubles in geo

Not part of official geo format that's widely used; apparently only used by rickrich's geo tools.
geo.cc